type expr =
    Id of char
  | And of expr * expr
  | Or of expr * expr
  | Not of expr

